- strongly closed set
- сильно замкнутое множество
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Strongly minimal theory — In model theory a branch of mathematical logic a minimal structure is an infinite one sorted structure such that every subset of its domain that is definable with parameters is either finite or cofinite. A strongly minimal theory is a complete… … Wikipedia
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
List of Case Closed episodes (season 18) — The cover of the first DVD compilation for season eighteen of Detectiv … Wikipedia
Staunton chess set — The Staunton chess set is composed of a particular type of chess pieces used to play the game of chess. According to the rules of chess, this style is to be used for competitions. Nathaniel Cook is credited with the design, and they are named… … Wikipedia
chemical bonding — ▪ chemistry Introduction any of the interactions that account for the association of atoms into molecules, ions, crystals, and other stable species that make up the familiar substances of the everyday world. When atoms approach one another … Universalium
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
PROSODY, HEBREW — This article is a survey of the history of Hebrew poetic forms from the Bible to the present time. The entry is arranged according to the following outline: introduction the variety of formal systems the specific nature of hebrew literary history … Encyclopedia of Judaism
Closure problem — A Closure problem is a problem in graph theory for finding a set of vertices in a directed graph such that there are no edges from the set to the rest of the graph. More specifically, the minimum closure problem asks for a set of this type with… … Wikipedia
Particular point topology — In mathematics, the particular point topology (or included point topology) is a topology where sets are considered open if they are empty or contain a particular, arbitrarily chosen, point of the topological space. Formally, let X be any set and… … Wikipedia
Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia